res1 = "abc".substring(0, 1 + "def"
res2 = 42
